Yuan Mingsheng: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model-Checking Linear-Time Properties of Quantum Systems

Ying, Mingsheng, Li, Yangjia, Yu, Nengkun, Feng, Yuan

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 359 KB

english, 2014

2

Distinguishability of Quantum States by Separable Operations

Runyao Duan, Yuan Feng, Yu Xin, Mingsheng Ying

Journal:

IEEE Transactions on Information Theory

Year:

2009

Language:

english

File:

PDF, 267 KB

english, 2009

3

Performance analysis of an integrated piezoelectric ZnO sensor for detection of head–disk contact

Yanhui Yuan, Hejun Du, Kun Shyong Chow, Mingsheng Zhang…

Journal:

Microsystem Technologies

Year:

2013

Language:

english

File:

PDF, 708 KB

english, 2013

4

Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination

Sun, Xiaoming, Zhang, Shengyu, Feng, Yuan, Ying, Mingsheng

Journal:

Physical Review A

Year:

2002

Language:

english

File:

PDF, 51 KB

english, 2002

5

An algebra of quantum processes

Ying, Mingsheng, Feng, Yuan, Duan, Runyao, Ji, Zhengfeng

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

6

Fragmentation of deprotonated cyclic dipeptides by electrospray ionization mass spectrometry

Yanchun Guo, Shuxia Cao, Donghui Wei, Xiangkun Zong, Xingbo Yuan, Mingsheng Tang, Yufen Zhao

Journal:

Journal of Mass Spectrometry

Year:

2009

Language:

english

File:

PDF, 182 KB

english, 2009

7

Quantum programming: From theories to implementations

Ying, MingSheng, Feng, Yuan, Duan, RunYao, Li, YangJia, Yu, NengKun

Journal:

Chinese Science Bulletin

Year:

2012

Language:

english

File:

PDF, 416 KB

english, 2012

8

Writer Footprint Measurement on Spinstand and Media Transition Curvature Characteristics

Yuan, Zhi-Min, Ong, Chun Lian, Ang, Shiming, Liu, Bo, Leong, Siang Huei, Zhang, Mingsheng

Journal:

IEEE Transactions on Magnetics

Year:

2012

Language:

english

File:

PDF, 1.78 MB

english, 2012

9

Model checking quantum Markov chains

Feng, Yuan, Yu, Nengkun, Ying, Mingsheng

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 357 KB

english, 2013

10

A ZnO microcantilever for high-frequency nanopositioning: Modeling, fabrication and characterization

Yuan, Yanhui, Du, Hejun, Wang, Peihong, Chow, Kun Shyong, Zhang, Mingsheng, Yu, Shengkai, Liu, Bo

Journal:

Sensors and Actuators A: Physical

Year:

2013

Language:

english

File:

PDF, 864 KB

english, 2013

11

Temperature-dependent characteristics of a photoacoustic detector

Niu, Mingsheng, Liu, Qiang, Liu, Kun, Yuan, Yiqian, Gao, Xiaoming

Journal:

Optik - International Journal for Light and Electron Optics

Year:

2013

Language:

english

File:

PDF, 501 KB

english, 2013

12

Multiple-copy entanglement transformation and entanglement catalysis

Duan, Runyao, Feng, Yuan, Li, Xin, Ying, Mingsheng

Journal:

Physical Review A

Year:

2005

Language:

english

File:

PDF, 119 KB

english, 2005

13

Upper bound for the success probability of unambiguous discrimination among quantum states

Zhang, Shengyu, Feng, Yuan, Sun, Xiaoming, Ying, Mingsheng

Journal:

Physical Review A

Year:

2001

Language:

english

File:

PDF, 38 KB

english, 2001

14

Symbolic Bisimulation for Quantum Processes

Feng, Yuan, Deng, Yuxin, Ying, Mingsheng

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 1.23 MB

english, 2014

15

Solvent-Based Soft-Patterning of Graphene Lateral Heterostructures for Broadband High-Speed Metal-Semiconductor-Metal Photodetectors

Xu, Yang, Ali, Ayaz, Shehzad, Khurram, Meng, Nan, Xu, Mingsheng, Zhang, Yuhan, Wang, Xinran, Jin, Chuanhong, Wang, Hongtao, Guo, Yuzheng, Yang, Zongyin, Yu, Bin, Liu, Yuan, He, Qiyuan, Duan, Xiangfeng

Journal:

Advanced Materials Technologies

Year:

2017

Language:

english

File:

PDF, 3.42 MB

english, 2017

16

Clinical and genetic characteristics of 17 Chinese patients with glycogen storage disease type IXa

Zhang, Jiangwei, Yuan, Yuheng, Ma, Mingsheng, Liu, Yan, Zhang, Weimin, Yao, Fengxia, Qiu, Zhengqing

Journal:

Year:

2017

Language:

english

File:

PDF, 1.36 MB

english, 2017

17

Chemical composition and larvicidal activity of essential oils from Peganum harmala, Nepeta cataria and Phellodendron amurense against Aedes aegypti (Diptera: Culicidae)

Yang, Shengxiang, Bai, Mingsheng, Yang, Jian, Yuan, Yuan, Zhang, Yamei, Qin, Jianchun, Kuang, Yi, Sampietro, Diego A.

Journal:

Saudi Pharmaceutical Journal

Year:

2020

Language:

english

File:

PDF, 500 KB

english, 2020

18

Analysis of endophytic and rhizosphere bacterial diversity and function in the endangered plant Paeonia ludlowii

Lu, Yazhou, Zhang, Erhao, Hong, Mingsheng, Yin, Xiu, Cai, Hao, Yuan, Lei, Yuan, Fang, Li, Lianqiang, Zhao, Kentian, Lan, Xiaozhong

Journal:

Archives of Microbiology

Year:

2020

File:

PDF, 4.21 MB

2020

19

Quantum operation, quantum Fourier transform and semi-definite programming

Runyao Duan, Zhengfeng Ji, Yuan Feng, Mingsheng Ying

Journal:

Physics Letters A

Year:

2004

Language:

english

File:

PDF, 209 KB

english, 2004

20

Unambiguous discrimination of mixed quantum states

Chi Zhang, Yuan Feng, Mingsheng Ying

Journal:

Physics Letters A

Year:

2006

Language:

english

File:

PDF, 155 KB

english, 2006

21

Universal and original-preserving quantum copying is impossible

Yuan Feng, Shengyu Zhang, Xiaoming Sun, Mingsheng Ying

Journal:

Physics Letters A

Year:

2002

Language:

english

File:

PDF, 37 KB

english, 2002

22

New progresses on geothermal history of Turpan-Hami Basin, Xinjiang, China

Liu Yiqun, Yuan Mingsheng, Zhou Dingwu, Feng Qiao, Jian Jun

Journal:

SCIENCE CHINA Earth Sciences

Year:

2001

Language:

english

File:

PDF, 500 KB

english, 2001

23

Quantum loop programs

Mingsheng Ying, Yuan Feng

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 377 KB

english, 2010

24

Primary dolostone formation related to mantle-originated exhalative hydrothermal activities, Permian Yuejingou section, Santanghu area, Xinjiang, NW China

YiQun Liu, Xin Jiao, Hong Li, MingSheng Yuan, Wan Yang, XiaoHu Zhou, Hao Liang, DingWu Zhou, ChaoYang Zheng, Qin Sun, ShuangShuang Wang

Journal:

SCIENCE CHINA Earth Sciences

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

25

Commutativity of quantum weakest preconditions

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 146 KB

english, 2007

26

Proof rules for the correctness of quantum programs

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 350 KB

english, 2007

27

Spherical nonlinear pulses for the solutions of nonlinear wave equations II, nonlinear caustic

Journal:

Acta Mathematica Scientia

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

28

Analysis of the vacuolar luminal proteome of Saccharomyces cerevisiae

Jean-Emmanuel Sarry, Sixue Chen, Richard P. Collum, Shun Liang, Mingsheng Peng, Albert Lang, Bianca Naumann, Florence Dzierszinski, Chao-Xing Yuan, Michael Hippler, Philip A. Rea

Journal:

Year:

2007

Language:

english

File:

PDF, 785 KB

english, 2007

29

Probabilistic bisimulations for quantum processes

Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 478 KB

english, 2007

30

Characterization of codon usage bias in the dUTPase gene of duck enteritis virus

Lichan Zhao, Anchun Cheng, Mingshu Wang, Guiping Yuan, Mingsheng Cai

Journal:

Progress in Natural Science

Year:

2008

Language:

english

File:

PDF, 317 KB

english, 2008

31

Parameter Estimation of Quantum Channels

Zhengfeng Ji, Guoming Wang, Runyao Duan, Yuan Feng, Mingsheng Ying

Journal:

IEEE Transactions on Information Theory

Year:

2008

Language:

english

File:

PDF, 358 KB

english, 2008

32

A Flowchart Language for Quantum Programming

Mingsheng Ying, Yuan Feng

Journal:

IEEE Transactions on Software Engineering

Year:

2011

Language:

english

File:

PDF, 1.40 MB

english, 2011

33

Revised models for hydrocarbon generation, migration and accumulation in Jurassic coal measures of the Turpan basin, NW China

Maowen Li, Jianping Bao, Renzi Lin, Lavern D. Stasiuk, Mingsheng Yuan

Journal:

Organic Geochemistry

Year:

2001

Language:

english

File:

PDF, 810 KB

english, 2001

34

An Algebraic Language for Distributed Quantum Computing

Mingsheng Ying, Yuan Feng

Journal:

IEEE Transactions on Computers

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

35

Temperature-dependent photoacoustic spectroscopy with a T shaped photoacoustic cell at low temperature

Niu, Mingsheng, Liu, Qiang, Liu, Kun, Yuan, Yiqian, Gao, Xiaoming

Journal:

Optics Communications

Year:

2013

Language:

english

File:

PDF, 403 KB

english, 2013

36

SPIE Proceedings [SPIE 2nd International Symposium on Advanced Optical Manufacturing and Testing Technologies - Xian, China (Wednesday 2 November 2005)] 2nd International Symposium on Advanced Optical Manufacturing and Testing Technologies: Optical Test and Measurement Technology and Equipment - New method for studying the relationship between morphological parameters and cell viability

Xiong, Jianwen, Dai, Weiping, Chen, Li, Liu, Guixiang, Liu, Mingsheng, Zhang, Zhenxi, Xiao, Hua, Hou, Xun, Yuan, Jiahu, Wyant, James C., Wang, Hexin, Han, Sen

Year:

2006

Language:

english

File:

PDF, 273 KB

english, 2006

37

Recommendation algorithm based on item quality and user rating preferences

Guan, Yuan, Cai, Shimin, Shang, Mingsheng

Journal:

Frontiers of Computer Science

Year:

2014

Language:

english

File:

PDF, 557 KB

english, 2014

38

Molecular properties of the Epstein-Barr virusBFRF3gene

Cai, Mingsheng, Zhao, Zhiyao, Cui, Wei, Yang, Lin, Zhu, Junyi, Chen, Yalan, Ma, Changling, Yuan, Zhuqing, Li, Meili

Journal:

Virologica Sinica

Year:

2013

Language:

english

File:

PDF, 691 KB

english, 2013

39

Doxorubicin

Cai, Mingsheng, Zhao, Zhiyao, Cui, Wei, Yang, Lin, Zhu, Junyi, Chen, Yalan, Ma, Changling, Yuan, Zhuqing, Li, Meili

Journal:

Reactions Weekly

Year:

2013

Language:

english

File:

PDF, 128 KB

english, 2013

40

Diatrizoate meglumine

Cai, Mingsheng, Zhao, Zhiyao, Cui, Wei, Yang, Lin, Zhu, Junyi, Chen, Yalan, Ma, Changling, Yuan, Zhuqing, Li, Meili

Journal:

Reactions Weekly

Year:

2013

Language:

english

File:

PDF, 128 KB

english, 2013

41

Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations

Duan, Runyao, Feng, Yuan, Ying, Mingsheng

Journal:

Physical Review Letters

Year:

2007

Language:

english

File:

PDF, 122 KB

english, 2007

42

Distinguishing Arbitrary Multipartite Basis Unambiguously Using Local Operations and Classical Communication

Duan, Runyao, Feng, Yuan, Ji, Zhengfeng, Ying, Mingsheng

Journal:

Physical Review Letters

Year:

2007

Language:

english

File:

PDF, 98 KB

english, 2007

43

Perfect Distinguishability of Quantum Operations

Duan, Runyao, Feng, Yuan, Ying, Mingsheng

Journal:

Physical Review Letters

Year:

2009

Language:

english

File:

PDF, 101 KB

english, 2009

44

Probabilistic bisimulations for quantum processes

Feng, Yuan, Duan, Runyao, Ji, Zhengfeng, Ying, Mingsheng

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 462 KB

english, 2007

45

Verification of quantum programs

Ying, Mingsheng, Yu, Nengkun, Feng, Yuan, Duan, Runyao

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 497 KB

english, 2013

46

A ZnO thin-film driven microcantilever for nanoscale actuation and sensing

Yuan, Yanhui, Shyong Chow, Kun, Du, Hejun, Wang, Peihong, Zhang, Mingsheng, Yu, Shengkai, Liu, Bo

Journal:

International Journal of Smart and Nano Materials

Year:

2013

Language:

english

File:

PDF, 897 KB

english, 2013

47

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Quantum Information-Flow Security: Noninterference and Access Control

Ying, Mingsheng, Feng, Yuan, Yu, Nengkun

Year:

2013

Language:

english

File:

PDF, 484 KB

english, 2013

48

Selective Decomposition of Alkyl Hydroperoxides on H-Type Zeolite via a Concerted Approach

Yuan, Jinyun, Liao, Xincheng, Wang, Hongming, Yang, Guanyu, Tang, Mingsheng

Journal:

Journal of Physical Chemistry B

Year:

2009

Language:

english

File:

PDF, 475 KB

english, 2009

49

Relation between catalyst-assisted transformation and multiple-copy transformation for bipartite pure states

Feng, Yuan, Duan, Runyao, Ying, Mingsheng

Journal:

Physical Review A

Year:

2006

Language:

english

File:

PDF, 114 KB

english, 2006

50

Local Distinguishability of Multipartite Unitary Operations

Duan, Runyao, Feng, Yuan, Ying, Mingsheng

Journal:

Physical Review Letters

Year:

2008

Language:

english

File:

PDF, 121 KB

english, 2008